On Codings of Traces
نویسندگان
چکیده
The paper solves the main open problem of [BFG94]. We show that given two dependence alphabets (Σ, D) and (Σ′, D′), it is decidable whether there exists a strong coding h : M(Σ, D) −→ M(Σ′, D′) between the associated trace monoids. In fact, we show that the problem is NP-complete. (A coding is an injective homomorphism, it is strong if independent letters are mapped to independent traces.) We exhibit an example of trace monoids where a coding between them exists, but no strong coding. The decidability of codings remains open, in general. We have a lower and an upper bound, which show both to be strict. We further discuss encodings of free products of trace monoids and give almost optimal constructions. In the final section, we state that the coding property is undecidable in a naturally arising class of homomorphisms. Topics: Formal languages, concurrency.
منابع مشابه
On Some Decision Problems for Trace Codings
The problem we mainly deal with is the existence of a coding between two trace monoids. We introduce a new notion of coding: the strong coding (independent letters are mapped into independent traces). We prove that the existence of a strong coding between two trace monoids is decidable when the first monoid belongs to one of two large families of trace monoids that we specify. Our decision cond...
متن کاملBidding Strategy on Demand Side Using Eligibility Traces Algorithm
Restructuring in the power industry is followed by splitting different parts and creating a competition between purchasing and selling sections. As a consequence, through an active participation in the energy market, the service provider companies and large consumers create a context for overcoming the problems resulted from lack of demand side participation in the market. The most prominent ch...
متن کاملThe Function of a Chlorite Hand-Bag of the Halil Rud Civilization as Inferred from Its Wear Traces
A chlorite “hand-bag” belonging to the once-called “intercultural style” production, currently on exhibit in the NationalArchaeological Museum, Tehran, is described focusing attention, for the first time, to the peculiar wear traces clearlyvisible on the handle and along its contour. The strong wear suggests that the hand-bag was suspended for a long time ona cord; and that in this setting it w...
متن کاملWorking-zone encoding for reducing the energy in microprocessor address buses
The energy consumption due to input–output pins is a substantial part of the overall chip consumption. To reduce this energy, this work presents the working-zone encoding (WZE) method for encoding an external address bus, based on the conjecture that programs favor a few working zones of their address space at each instant. In such cases, the method identifies these zones and sends through the ...
متن کاملCatalytic Determination of Traces of Tellurium (IV) Using the Reduction of Lauth’s Violet with Sodium Sulfide
A simple, rapid and sensitive method has been developed for determination of traces of tellurium (IV) (7.0-120.0 ng/ml) based on it’s catalytic effect on the reduction reaction of lauth’s violet by sulfide ion at pH 4.2. The reaction is monitored spectrophotometrically by measuring the decrease in absorbance of lauth’s viole at 600 nm by the fixed time method. The detection limit is 5.0 ng/ml a...
متن کامل